#
# 32bit-specific Genode headers
#
REP_INC_DIR += include/32bit
